if (typeof(ajax_script) == 'undefined') {
    var ajax_script = new Object();
}

import_js('../ajax.js');

function import_js (fileName) {
    if (ajax_script[fileName] != null) return;

    var scriptElmt = document.createElement('script');
    scriptElmt.type = 'script/javascript';
    scriptElmt.src = fileName;
    scriptElmt.innerHTML = ' ';
    document.getElementsByTagName('head')[0].appendChild(scriptElmt);

    ajax_script[fileName] = 1;
}
